Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
371	Recursive Data Types in Typed Set Theory R.D. Arthan Lemma 1 Ltd. [removed] Abstract Appeals to the axiom of replacement in classical set theory cannot automatically be Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:36:18 Model theory Functions and mappings First-order logic Predicate logic Constructible universe Zermelo set theory Function Operator theory Linear temporal logic Mathematical logic Mathematics Logic
372	Quantum Theory and the Nature of Search Sachi Arafat and C. J. van Rijsbergen Department of Computer Science University of Glasgow, UK Abstract Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2010-02-11 13:38:45 Science Relevance Document retrieval Qt Vector space model Information science Information retrieval Software
373	Partiality as nondeterminism Yngve Lamo Michal Walicki Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-03-09 04:39:36 Logic Symbol Interpretation Structure Constructible universe Sheaf Function Sigma-algebra Kripke–Platek set theory Mathematics Model theory Mathematical logic
374	Littlewood-Richardson coefficients and the hive model Ronald C King School of Mathematics, University of Southampton Southampton, SO17 1BJ, England Presented at: Add to Reading List Source URL: www.personal.soton.ac.uk Language: English - Date: 2008-09-11 04:59:49 Symmetric functions Representation theory Invariant theory Algebraic combinatorics Littlewood–Richardson rule Schur polynomial Eigenvalues and eigenvectors Kronecker coefficient Λ-ring Algebra Abstract algebra Mathematics
375	Contents Abstract ii Acknowledgements Add to Reading List Source URL: www.cru.uea.ac.uk Language: English - Date: 2009-12-22 04:43:45 Climate history Estimation theory Parametric statistics Regression analysis Global warming Global climate model Linear regression Climate model Temperature record Statistics Climatology Atmospheric sciences
376	No[removed]Optimal Monetary Policy under Model Uncertainty without Commitment Anna Orlik and Ignacio Presno Abstract: Add to Reading List Source URL: www.bostonfed.org Language: English - Date: 2014-01-30 10:01:26 Decision theory Utility Economic model Markov chain Multiplier Expected utility hypothesis JEL classification codes Statistics Macroeconomics Game theory
377	Link Prediction via Matrix Factorization Aditya Krishna Menon and Charles Elkan University of California, San Diego La Jolla, CA 92093 {akmenon,elkan}@cs.ucsd.edu Abstract. We propose to solve the link prediction problem Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2012-01-05 19:08:18 Matrix theory Graph theory Algebraic graph theory Graphical model Graph Singular value decomposition Adjacency matrix Topology Algebra Mathematics Linear algebra
378	Self-Confirming Equilibrium and the Lucas Critique1 Drew Fudenberg and David K. Levine2 First Version: January 14, 2007, This Version: August 6, 2007 Prepared for the Conference in Honor of Robert E. Lucas Jr. Abstract: Add to Reading List Source URL: www.dklevine.com Language: English - Date: 2007-08-06 13:08:05 Self-confirming equilibrium Solution concept Nash equilibrium Rationalizability David K. Levine Trembling hand perfect equilibrium Subgame perfect equilibrium Macroeconomic model Information set Game theory Problem solving Economics
379	Partitioning 0-CFA for the GPU Thomas Gilray, James King, Matthew Might University of Utah {tgilray, jsking2, might}@cs.utah.edu Abstract. We generalize EigenCFA, a linear formulation of 0-CFA, to Add to Reading List Source URL: matt.might.net Language: English - Date: 2015-01-20 15:49:39 Mathematics Dual Logic Metalogic Model theory Structure
380	Littlewood-Richardson coefficients, the hive model and Horn inequalities Ronald C King School of Mathematics, University of Southampton Southampton, SO17 1BJ, England Presented at: Add to Reading List Source URL: www.personal.soton.ac.uk Language: English - Date: 2008-09-11 10:51:39 Symmetric functions Invariant theory Representation theory Algebraic combinatorics Orthogonal polynomials Littlewood–Richardson rule Schur polynomial Eigenvalues and eigenvectors Kronecker coefficient Algebra Abstract algebra Mathematics

UPDATE